1. Automated Reasoning with Analytic Tableaux and Related Methods
پدیدآورنده: \ Hans De Nivelle (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,مهندسی نرم افزار
رده :
QA
76
.
9
.
A96
2015
E-Book
,
2. Biomedical digital signal processing: C-language examples and laboratory experiments for the IBM P C
پدیدآورنده : Willis J. Tompkins
موضوع : Signal processing -- Digital techniques,Computers i medicine,Digital filters (mathematics),C (Computer program language),Biomedical engineering,Signal processing, Computer assisted,Programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. CNC Programming for Machining
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Engineering; Programming Techniques
4. Central European Functional Programming School
پدیدآورنده: \ Viktória Zsók , Zoltán Horváth, Lehel Csató (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Functional programming (Computer science) -- Congresses.,Programming Techniques.,Software engineering.,نرمافزار -- مهندسی
رده :
QA
76
.
62
.
C4
2015
E-Book
,
5. Fundamentals of Software Engineering.
پدیدآورنده: \ Mehdi Dastani , Marjan Sirjani (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Artificial intelligence,هوش مصنوعی,a04,a04,Software engineering -- Congresses.,Programming Techniques.,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
76
.
758
.
F8
2015
E-Book
,
